Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

Source URL: www.john.jperry.net

Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

Source URL: john.jperry.net

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: people.cs.uchicago.edu

Sameness, Meaning, and Identity. by Gustav Bergmann; Individuals. by Gustav Bergmann; Concepts. by Gustav Bergmann; Herbert Hochberg Review by: John Perry The Journal of Symbolic Logic, Vol. 40, No. 1 (Mar., 1975), pp. 1

Source URL: www.john.jperry.net

Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

Source URL: rd.host.cs.st-andrews.ac.uk

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

Journal of Articial Intelligence Research454 Submitted 6/18; publishedParameter Learning of Logic Programs for Symbolic-statistical Modeling

Source URL: www.cs.cmu.edu

Journal of Artificial Intelligence Research454 Submitted 6/18; publishedParameter Learning of Logic Programs for Symbolic-statistical Modeling

Source URL: rjida.meijo-u.ac.jp

The Relative Efficiency of Propositional Proof Systems Author(s): Stephen A. Cook and Robert A. Reckhow Source: The Journal of Symbolic Logic, Vol. 44, No. 1 (Mar., 1979), ppPublished by: Association for Symbolic

Source URL: www.cs.toronto.edu

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: people.cs.uchicago.edu